Feasibility of Structurally Synthesized BDD Models for Test Generation
نویسندگان
چکیده
An ATPG algorithm based on a special class of BDD models, called Structurally Synthesized BDDs (SSBDD), is presented. Experimental results show that the novel test generation approach provides a remarkable speed-up in comparison with classical gate-oriented methods. In addition, SSBDDs offer a more generalized view to the test generation problem.
منابع مشابه
Testability Guided Hierarchical Test Generation with Decision Diagrams
A unified approach is presented for calculation multi-level testability measures and for testability guided hierarchical automated test pattern generation (ATPG) for digital systems. The methods and algorithms are based on path tracing procedures on decision diagrams. On the higher level the system is presented as a network of register transfer level (RTL) components, and on the lower level eac...
متن کاملFault Collapsing in Digital Circuits Using Fast Fault Dominance and Equivalence Analysis with SSBDDs
The paper presents a new method and an algorithm for structural fault collapsing to reduce the search space for test generation, to speed up fault simulation and to make the fault diagnosis easier in digital circuits. The proposed method is based on hierarchical topology analysis of the circuit description at two levels. First, the gate-level circuit will be converted into a macro-level network...
متن کاملاثربخشی مداخله فراشناختی بر اضطراب، تصویربدنی و سایر علائم مبتلایان به اختلال بدشکلی بدن (BDD)
Introduction, The purpose of the study is to investigate the effectiveness of metacognitive intervention on anxiety, body image and other symptoms of body dysmorphic disorder patients (BDD). Method: This semi-experimental study which is a random clinical training. It was conducted by voluntary sampling on BDD patients who referred to dermatology and cosmic surgery clinics. 30 patients were sel...
متن کاملEfficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration
The supervisory control theory (SCT) is a model-based framework, which automatically synthesizes a supervisor that restricts a plant to be controlled based on specifications to be fulfilled. Two main problems, typically encountered in industrial applications, prevent SCT from having a major breakthrough. First, the supervisor which is synthesized automatically from the given plant and specifica...
متن کاملSymbolic Reachability Graph Generation for High-level Models based on Synthesized Operators
This paper introduces a new technique for generating Binary Decision Diagrams (BDDs) representing high-level model’s underlying state/transition systems. The obtained decision diagram may serve as input for various analysis methods such as symbolic (probabilistic) model checking and/or Markovian performance and reliability analysis. As usual the proposed technique makes use of partitioned symbo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005